What is the meaning of the word "binary numeration system"?